Skip to content

Comments

Use shared doc-sync workflow#31

Merged
activadee merged 1 commit intomainfrom
chore/use-shared-doc-sync
Nov 15, 2025
Merged

Use shared doc-sync workflow#31
activadee merged 1 commit intomainfrom
chore/use-shared-doc-sync

Conversation

@activadee
Copy link
Owner

Summary

  • switch the reusable workflow reference to .github/workflows/doc-sync.yml
  • retain the maintainer-only gate on PRs and manual dispatch support

Testing

  • Not run (not requested)

@activadee activadee merged commit 8d2f80f into main Nov 15, 2025
2 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant